1

Goal-directed diagnosis—a diagnostic reasoning framework for exploratory-corrective domains

Year:
1996
Language:
english
File:
PDF, 3.10 MB
english, 1996
5

An SE-tree-based prime implicant generation algorithm

Year:
1994
Language:
english
File:
PDF, 992 KB
english, 1994